TFL^PL: Programación con lógica de términos

Authors: J. Martín Castro-Manzano, L. Ignacio Lozano-Cobos

Research in Computing Science, Vol. 147(6), pp. 265-283, 2018.

PDF: TFL^PL: Programación con lógica de términos
PDF: TFL^PL: Programación con lógica de términos